Amphibians of Białystok
نویسندگان
چکیده
منابع مشابه
Białystok Scott - Continuous Functions 1 Adam Grabowski University of Białystok
Let S be a non empty set and let a, b be elements of S. The functor a, b, ... yields a function from N into S and is defined by the condition (Def. 1). (Def. 1) Let i be a natural number. Then (i) if there exists a natural number k such that i = 2 ·k, then (a, b, ...)(i) = a, and (ii) if it is not true that there exists a natural number k such that i = 2 ·k, then (a, b, ...)(i) = b. We now stat...
متن کاملBiałystok Gauges and Cages . Part II 1 Artur Korniłowicz University of Białystok Robert Milewski University of Białystok
Let m be an even integer. Note that m + 2 is even. Let m be an odd integer. Observe that m + 2 is odd. Let m be a non empty natural number. Observe that 2 is even. Let n be an even natural number and let m be a non empty natural number. Note that n is even. We now state several propositions: (2) If r 6= 0, then 1 r · ri+1 = r. (3) If r s is an integer and s 6= 0, then −⌊ r s ⌋ = ⌊ s ⌋ + 1. (4) ...
متن کاملBiałystok Bases of Continuous Lattices 1 Robert Milewski University of Białystok
The following proposition is true (1) For every non empty poset L and for every element x of L holds compactbelow(x) = ↓x ∩ the carrier of CompactSublatt(L). Let L be a non empty reflexive transitive relational structure and let X be a subset of 〈Ids(L),⊆〉. Then ⋃ X is a subset of L. The following propositions are true: (2) For every non empty relational structure L and for all subsets X, Y of ...
متن کاملBiałystok 2 ’ s Complement Circuit
This article introduces various Boolean operators which are used in discussing the properties and stability of a 2’s complement circuit. We present the definitions and related theorems for the following logical operators which include negative input/output: ’and2a’, ’or2a’, ’xor2a’ and ’nand2a’, ’nor2a’, etc. We formalize the concept of a 2’s complement circuit, define the structures of complem...
متن کاملBiałystok Asymptotic Notation . Part I : Theory 1
The widely used textbook by Brassard and Bratley [3] includes a chapter devoted to asymptotic notation (Chapter 3, pp. 79–97). We have attempted to test how suitable the current version of Mizar is for recording this type of material in its entirety. A more detailed report on this experiment will be available separately. This article presents the development of notions and a follow-up article [...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fragmenta Faunistica
سال: 2010
ISSN: 0015-9301
DOI: 10.3161/00159301ff2010.53.2.245